<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/REC-html401/loose.dtd">
<html>
<head>
  <title>[ #487204 ] Duplicate DIV style attribute
  generated</title>
  <style type="text/css">
  div.c2 {margin-left: 2em; margin-top: 0in}
  ol.c1 {margin-top:0in}
  </style>
</head>
<body>
  <div class='c2'>
    <ol class='c1'>
      <li>One</li>
      <li>Two</li>
      <li>Three</li>
    </ol>
  </div>
</body>
</html>
